\relax 
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {2}BNF Grammar}{1}}
\citation{lamport94}
\bibcite{lamport94}{1}
\@writefile{toc}{\contentsline {section}{\numberline {3}Semantics}{4}}
